|
課程名稱 |
自動機與形式語言
FORMAL LANGUAGES AND AUTOMATA THEORY |
|
開課學期 |
99-1 |
|
授課對象 |
資訊工程學系 |
|
授課教師 |
林智仁 |
|
課號 |
CSIE3110 |
|
課程識別碼 |
902E43500 |
|
班次 |
01 |
|
學分 |
3 |
|
全/半年 |
半年 |
|
必/選修 |
必帶 |
|
上課時間 |
星期二3,4,@(10:20~) |
|
上課地點 |
資104 |
|
備註 |
本課程以英語授課。本課程以英語授課。
限學號單號 且 限本系所學生(含輔系、雙修生) 且 限學士班三年級以上
總人數上限：80人 |
|
|
|
|
課程簡介影片 |
|
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
|
課程大綱
|
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
|
課程概述 |
一、課程簡介:Automata and Languages: Mathematical models of computation.
Computability Theory: Problems CAN and CANNOT be solved by computers.
Complexity Theory: Why some problems are hard but some are easy?
二、先修課程:
三、參考書目: |
|
課程目標 |
|
|
課程要求 |
|
|
預期每週課後學習時數 |
|
|
Office Hours |
|
|
指定閱讀 |
|
|
參考書目 |
|
|
評量方式
(僅供參考) |
|
|